Computer aided verification - 9th international conference : proceedings
- Författare
- Orna Grumberg International Conference on Computer Aided Verification 1997) Haifa :
- (CAV '97, Haifa, Israel, June 22 - 25, 1997 Orna Grumberg (ed.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1997 | Tyskland, Berlin | 486 sidor. ill. |